Automatic Test Generation for Space

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure and these tests perform black-box testing to the C++ simulator implementation. VST (VisionSpace Technologies) is one of the companies that provides these services to ESA and they need a tool to infer automatically tests from the existing C++ code, instead of writing manually scripts to perform tests. With this motivation in mind, this paper explores automatic testing approaches and tools in order to propose a system that satisfies VST needs

PERFIL SOCIOECONÔMICO, DESEMPENHO ACADÊMICO E EVASÃO NO CURSO DE ENGENHARIA DE MINAS DA UFBA

O Plano de Reestruturação e Expansão das Universidades Federais – REUNI, instituído pelo Governo Federal através do Decreto nº 6.096, de 24 de abril de 2007, tem como meta global a elevação da taxa de conclusão média dos cursos de graduação presencial para 90% e por diretriz, entre outras coisas, a redução das taxas de evasão. O presente artigo visa examinar a relação entre o desempenho acadêmico, a evasão e o perfil socioeconômico de estudantes de graduação da Universidade Federal da Bahia. Considerando que já fora realizado um estudo pela Universidade sobre Evasão e Diplomação, onde foi identificado que o curso de Engenharia de Minas apresenta o maior percentual de evasão, foi escolhido esse curso para esta análise. Assim, busca-se verificar a relação entre o perfil socioeconômico do estudante, seu desempenho acadêmico e os índices de evasão na graduação. Foram analisadas turmas de ingressantes no curso no período de 2006 a 2010, onde foram utilizados dados do questionário socioeconômico, aplicado na inscrição do vestibular, além de dados do histórico escolar desses alunos. Os resultados desse estudo são importantes para aplicação de políticas de gestão da educação nesse curso

Arquitectura morfogenética como posibilidad urbana

Se vive en un mundo con grandes problemáticas en el que las edificaciones representan una parte simbólica de la afectación al medio ambiente, es por ello que se sugiere introducir la arquitectura morfogenética como alternativa de solución. Se pretende tomar este paradigma como un proceso de planeación y diseño en el que los factores ambientales provocan la adaptación de la ciudad al contexto ecológico. El objetivo es lograr el vínculo sistémico de buen funcionamiento entre el sujeto-ciudad-naturaleza y es viable a través de la profundidad del entendimiento y reinterpretación de patrones de comportamiento en los organismos vivos y de aplicaciones científico-tecnológicas. Las transformaciones pudieran ser en un inicio por elementos desintegrados del conjunto, desde el material que se ocupa en los recubrimientos, hasta el mismo sistema constructivo, reflejándose incluso en los modos de habitar la ciudad. El resultado de implementar dicho proceso, sería lograr un control sistémico del diagnóstico y tratamiento de posibles problemáticas como el consumo de recursos, la movilidad, la ocupación del espacio y desarrollo de la unidad, además de la integración artificial de la urbe al medio natural.Peer Reviewe

Counterfactual impact evaluation of vocational education in Portugal

JEL classification: C14 – Non parametric methods; I26 – Returns to educationThe Reform of the Portuguese education system, which took place in 2004, led to the introduction and rapid expansion of vocational education in public high schools. This thesis aims to assess the impacts of vocational education on students’ academic and labor market performance using a Counterfactual Impact Evaluation (CIE) approach. The dataset used in the analysis includes data for the academic years of 2008/2009, 2009/2010 and 2010/2011. For both methodological and data availability reasons, we restrict our analysis to Portuguese students without special educational needs, aged between 15 and 18 years old, who are enrolled in public high schools with tutelage of the Ministry of Education and Science, and that were enrolled in general education in the previous year (basic education). For this group of students, we find that being enrolled in vocational education has positive impacts in school performance (transition, graduation, and dropout rates) and in labor market performance (employment rate, average salary and average worked months per year). We also find that vocational education students have lower chances of proceeding to higher education. These results are robust to variations in the estimation method.A reforma do sistema de ensino Português, que ocorreu em 2004, originou a introdução e rápida expansão do ensino profissional nas escolas secundárias públicas. Esta tese tem como objetivo avaliar os impactos da educação profissional no desempenho escolar e laboral dos alunos, utilizando a lógica de Avaliação Contrafactual de Impactos (CIE). A base de dados inclui informação dos anos letivos de 2008/2009, 2009/2010 e 2010/2011. Devido a questões metodológicas e de disponibilidade de dados restringimos a nossa análise a estudantes portugueses, sem necessidades educativas especiais, com idades entre os 15 e 18, que estão matriculados em escolas públicas sob tutela do Ministério da Educação e Ciência, e que frequentaram educação geral no ano anterior (ensino básico). Para este grupo de alunos concluímos que o ensino profissional apresenta impactos positivos no desempenho escolar (taxas de transição, de conclusão e desistência) e no desempenho laboral (taxa de emprego, salário médio e média de meses trabalhos por ano). Os nossos resultados também mostram que os estudantes do ensino profissional têm menor probabilidade de prosseguir para o ensino superior. Estes resultados são robustos face a variações do método de estimação

Equity research on vici properties: after Covid-19, the strategy to survive interest rate hikes

This work project presents the equity research on VICI Properties Inc., the REIT that owns the largest entertainment facilities in Las Vegas. As a REIT, VICI has been distributing dividends, achieving this year an annual dividend of $1.56, which gives a 4.63COVID-19, and despite the interest rate rising economic environment, VICI counts on inflation protected leases, stable cash flows, strong and healthy tenants, and transparency to keep its sustained growth. Our final recommendation is a BUY with an estimated target price of$38.69, which implies an upside of 14.87%, and total expected gains of 21.50%

THE ECONOMIC AND TRADE RELATIONS BETWEEN MOROCCO AND MEXICO: ASSESSMENT AND FUTURE PROSPECTS

The current globalization forces several countries to establish international economic relations and take advantage of the competitive advantages that this generates.The emerging economies try to consolidate their relationships to face the economic powers. The objective of this article is to analyze the composition of international trade that takes place between Mexico and Morocco to identify the existing opportunities for both countries. The results suggest that the main opportunities to strengthen trade are found in the products of the agri-food sector, which can also contribute to reducing the independence of the United States for Mexico and of Europe for Morocco.

Novel fluorescent cell-based sensors for detection of viral pathogens

Tese de mestrado integrado, Engenharia Biomédica e Biofísica (Biofísica Médica e Fisiologia de Sistemas) Universidade de Lisboa, Faculdade de Ciências, 2017Viruses are major pathogenic agents that can cause a variety of serious diseases. Indeed, the establishment of cell culture techniques and recombinant virus manipulation contributed for the development of viral-based biotherapies, like gene therapy or vaccines, which require accurate and fast quantification of virus. Despite the numerous titration methods existing nowadays, the majority of them are not able to provide a robust and fast quantification, essential for their clinical application. Moreover, most of them provide indirect measurements of infectious particles, over-estimating virus infectivity, and some rely on virus modification, e.g. by making use of reporter genes (labelled-viruses), which are not allowed when using those virus for clinical applications. As so, the development of a new system capable to cope these drawbacks is of paramount importance for research, diagnostics and industry. In this work, genetically encoded switch-on fluorescent mammalian cell-based assays for detection and quantification of label-free Adenoviruses, using the adenoviral protease (Adenain) as a trigger of the sensor, were developed. Three different main strategies were designed based on structural distortion of a fluorescent protein (GFP – Green Fluorescent Protein), preventing fluorescence emission: GFP VISENSOR (cGFP), Embedded Split-GFP VISENSOR (eS11) and Circular Split-GFP VISENSOR (cS11). Upon Adenain proteolytic processing, structural distortion is relieved and fluorescence emission is reconstituted. VISENSORS performance was assessed by optimizing the best combination of backbone structure and cleavage site, initially by a transient screening and later confirmed on a more biological context, where cells stably expressing the sensor were infected by human Adenovirus serotype 5. Despite eS11 and cGFP displaying similar signal to noise ratio (SNR) performances, cS11 strategy seems the most promising, reaching a signal to noise ratio of 3.12 at 72 hours post-infection. Virus detection was accomplished as soon as 24 hours post-infection in all strategies. Moreover, this work validated the use of VISENSORS as an Adenain dependent sensor and specific for Adenovirus. An attempt to reach maximum distortion and improving SNR performances, a parallel strategy was implemented by structurally distorting both split-GFP fragments. However, the results were not promising. A detailed characterization of the best strategy will be performed as future work, using cell clones stably expressing the sensor to assess VISENSORS’ applicability to Adenovirus quantification. VISENSORS show great potential to deliver a fast, reliable and accurate method for virus and viral vector detection and quantification, much needed not only in the development of viral based-biotherapies, but also for diagnostic and clinical applications.Os vírus constituem um dos principais agentes patogénicos responsáveis por uma grande variedade de doenças graves. O estabelecimento de técnicas de cultura de células e a manipulação génica de vírus contribuíram decisivamente para o desenvolvimento de bioterapias baseadas em partículas virais, como a terapia génica ou a vacinação, que requerem uma quantificação precisa e rápida da carga viral. Apesar dos inúmeros métodos de titulação existentes hoje em dia, a sua maioria não é capaz de fornecer uma quantificação robusta e rápida, essencial para sua aplicação clínica. Além disso apresentam uma série de desvantagens, tais como o facto de na sua maioria fornecerem medidas indiretas do número de partículas infeciosas, sobrestimando a infecciosidade do vírus; são morosos e com reduzido potencial de processamento rápido; outros dependem de modificação génica, envolvendo por exemplo o uso de genes repórter (vírus com marcação), o que não é permitido em aplicações clínicas. Como tal, os biossensores virais representam uma excelente alternativa aos métodos de titulação tradicionais, sendo amplamente utilizados em biomedicina no diagnóstico de doenças infeciosas e desenvolvimento de medicamentos. De todos os biossensores existentes, os sensores baseados em células constituem como uma das estratégias mais promissoras, devido à capacidade das células em responder às mudanças ambientais externas de forma rápida e precisa. Tomando partido das células como elementos de deteção, torna-se possível o desenvolvimento de sensores de elevada especificidade e sensibilidade a um grande número de agentes externos, como os vírus, fornecendo assim uma medida direta da sua infecciosidade. Na construção de um biossensor, para além do detetor é também necessário um transdutor do sinal. Para tal, a fluorescência é amplamente usada como transdutor devido à sua alta sensibilidade e seletividade, suficiente resolução espaço-tempo e baixo custo. Assim, e tendo em conta a necessidade de desenvolver um novo sistema capaz de lidar com as desvantagens apresentadas pelos métodos de titulação atuais, uma estratégia que tire partido de proteínas fluorescentes associadas a células para deteção e quantificação de vírus sem marcação revela-se extremamente promissora. Este trabalho teve como objetivo o desenvolvimento de um biossensor de fluorescência para deteção e quantificação de vírus sem marcação (de acrónimo VISENSORS), tomando partido da protease viral, componente responsável pela maturação e processamento das proteínas virais, como ativador do sensor. Como modelo de estudo, e para prova de conceito, foram usados Adenovírus devido à sua importância no desenvolvimento de vacinas e uso como vetor viral em aplicações de terapia génica. Três estratégias de biossensores foram implementadas tendo por base a distorção estrutural de uma proteína fluorescente, a GFP, incapacitando-a de emitir fluorescência até que seja aliviada a distorção pela protease adenoviral. A primeira estratégia (denominada Circular VISENSOR, cGFP) consiste na circularização da superfolder-GFP, tomando partido da singular característica das inteínas (porções de proteína) de se libertarem, fundindo os segmentos a qual se encontravam ligadas. Na tentativa de alcançar máxima distorção para um melhor desempenho do sensor, duas outras estratégias foram desenvolvidas tendo por base a transcomplementação da split-GFP, criando distorção estrutural apenas ao nível do fragmento S11 da GFP. Desta forma, a segunda estratégia (denominada Embedded split-GFP, eS11) consistiu na inserção do fragmento S11 no loop de uma pequena proteína. Por sua vez, a terceira estratégia (denominada Circular split-GFP, cS11) consistiu na circularização do fragmento S11, mediada por inteínas, de forma semelhante à cGFP. A fluorescência é reconstituída quando a protease reconhece uma sequência especifica de corte e, por consequência, alivia a distorção estrutural permitindo a transcomplementação dos fragmentos de GFP e a emissão de fluorescência. A aplicação de diferentes distorções estruturais no biossensor pode alterar o seu desempenho quer ao nível da emissão de fluorescência quando não ativado ou após a sua ativação. Assim, para avaliar o desempenho do sensor começou por se otimizar a melhor combinação de estrutura de sensor e local de clivagem, primeiramente de forma transiente e posteriormente confirmando num contexto mais biológico, infetando com adenovírus células que expressam de forma estável os sensores. Os resultados obtidos confirmaram esta hipótese. Através da adição de glicinas (aminoácido de pequenas dimensões e elevada flexibilidade) verificou-se um aumento da emissão de fluorescência em todas as estratégias, possivelmente provocado por relaxamento da distorção estrutural. Por outro lado, a utilização de sequências de clivagem constituídas na sua maioria por aminoácidos mais hidrofóbicos demonstraram uma diminuição de fluorescência, contrariamente às sequências que possuem na sua constituição aminoácidos maioritariamente hidrofílicos. Sugere-se assim que as diferentes hidrofilicidades das sequências de corte podem ter um impacto ao nível da eficiência de clivagem por parte da protease adenoviral e/ou da correta maturação do cromóforo da proteína fluorescente. Surpreendentemente, em todas as estratégias, foi observado uma diminuição da emissão de fluorescência por parte das células não infetadas ao longo do tempo, o que pode dever-se ao fato das células não infetadas atingirem a fase estacionária (ao contrário de células infetadas cujo ciclo celular é interrompido) em que a expressão de proteína (tal como o sensor) diminui e, consequentemente, a emissão de fluorescência também diminui. Assim, para a performance Sinal/Ruído por parte de cada sensor é de se considerar não só uma contribuição do aumento de emissão de fluorescência devido à ativação do sensor pela protease adenoviral (Sinal), mas também uma contribuição da diminuição da fluorescência por parte das células não infetadas que são usadas como controlo negativo (Ruído). Comparando as três estratégias desenvolvidas, eS11 e cGFP demonstraram possuir desempenhos semelhantes ao nível da razão Sinal/Ruído, enquanto que a estratégia cS11 parece ser a mais promissora, atingindo uma razão Sinal/Ruído de 3.12 às 72 horas após a infeção. Adicionalmente, demonstrou-se que o sensor é especifico, sendo apenas ativado na presença da protease de Adenovírus e não de outras proteases virais. Para além das três estratégias principais, foi desenvolvida em paralelo uma nova abordagem baseada na distorção estrutural de ambos os fragmentos da split-GFP. Esta foi alcançada através da circularização do fragmento S10 da GFP (cGFPS10) em combinação com as distorções realizadas nas estratégias eS11 e cS11. Os resultados obtidos, no entanto, não se mostraram promissores em parte devido à incompatibilidade das estratégias usadas. Por exemplo, a circularização dos fragmentos S11 e S10 da GFP (cS11 e cGFPS10) apresentou uma razão Sinal/Ruído menor do que a distorção apenas do fragmento S11 (cS11). Este fenómeno poderá ser explicado pelo uso em ambos os processos de circularização do mesmo tipo de inteínas, não evitando assim a trans-circularização de S11 e S10 e a formação de uma GFP funcional, sem ser necessária a ativação por parte da protease viral. Este trabalho foi pioneiro na implementação em células de mamíferos de estratégias baseadas em distorção estrutural de proteínas fluorescentes como biossensores para a deteção e quantificação de Adenovírus sem marcação. Durante esta tese de mestrado foram implementadas, com sucesso, três diferentes estratégias para deteção de Adenovírus. A melhor das estratégias, a cS11, será agora alvo de uma caracterização detalhada, usando clones celulares a expressarem de forma estável o sensor por forma a validar as otimizações realizadas e a avaliar a sua aplicabilidade como método de quantificação de Adenovírus. Os VISENSORS demonstram assim grande potencial tendo em vista o desenvolvimento de um método rápido, fiável e específico para a deteção e quantificação de vírus e vetores virais sem marcação, bem como uma enorme aplicabilidade não só no estudo e desenvolvimento de bioterapias baseadas em vírus, mas também com aplicações clínicas e em diagnóstico

O primeiro contacto com as narrações multimodais no âmbito de um curso de profissionalização docente em contexto on-line

Relatamos a exploração da Narração Multimodal (NM) enquanto instrumento em contexto on-line, na Universidade Aberta, durante o curso de profissionalização em serviço de docentes do ensino básico e secundário para o grupo de recrutamento 550 (Informática, Ministério da Educação da República Portuguesa), na unidade curricular Seminário de Prática Pedagógica. Das várias tarefas solicitadas aos formandos, a exploração de NM ocorreu nos 3.º, 4.º e 6.º tópicos de aprendizagem. Neste capítulo apresentamos os aspetos que apresentaram maiores fragilidades e os que foram corretamente executados antes e após feedback, no 1.º contacto com a NM (que ocorreu no 3.º tópico). O 1.º contacto com as NM revelou-se desafiante para os formandos, tanto na sua execução inicial como na melhoria das fragilidades identificadas. De quatro categorias analisadas, verificou-se que a maior incidência de fragilidades ocorreu nas categorias referentes aos aspetos que enriquecem a NM. Nas categorias referentes à estrutura e às características da NM, apesar de terem apresentado vários tipos de fragilidades, as NM foram concluídas com êxito, após colmatadas e resolvidas as fragilidades por recurso a feedback. Recomenda-se que em futuras abordagens haja adaptação dos materiais e de práticas de apoio pedagógico.info:eu-repo/semantics/publishedVersio

Differential regulation of hippocampal neurogenesis by nitric oxide following seizures

Tese de doutoramento, Ciências Biomédicas, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2013The fact that the adult brain is able to produce new neurons or glial cells from neural stem cells (NSC) became one of the most interesting and challenging fields of research in neuroscience. Endogenous adult neurogenesis occurs in two main regions of the brain: the subventricular zone (SVZ) of the lateral ventricles and the subgranular zone (SGZ) in the dentate gyrus. Brain injury may be accompanied by increased neurogenesis, although neuroinflammation promotes the activation of microglial cells that can be detrimental to the neurogenic process. Nitric oxide (NO) is one of the factors released by microglia that can be proneurogenic. The mechanism by which NO promotes the proliferation of NSCs has been intensively studied. However, little is known about the role of NO in migration, survival and differentiation of the newborn cells. The aim of this work was to investigate the role of NO from inflammatory origin in proliferation, migration, differentiation and survival of NSCs from the dentate gyrus in a mouse model of status epilepticus. We also assessed neuroinflammation in the same injury model. Our work showed that NO increased proliferation of the early-born cells after seizures, but is detrimental for their survival. NO also increased migration of neuroblasts. Moreover, NO was important to maintain long-term neuroinflammation. Taken together, these results show that NO may be a good target to promote proliferation and migration of NSCs following seizures, but compromises survival of early-born cells.A descoberta de que o cérebro adulto é capaz de produzir novas células nervosas ou da glia a partir de células estaminais neurais tornou-se uma das mais interessantes e desafiantes áreas da neurociência. A neurogénese adulta endógena ocorre em duas principais regiões do cérebro de mamíferos, ou nichos neurogénicos: a zona subventricular nos ventrículos laterais e a zona subgranular no giro dentado do hipocampo. Apesar ter sido proposto que a neurogénese ocorre como uma tentativa do cérebro em reparar zonas lesionadas por um insulto, nestas condições, a neuroinflamação que resulta do evento promove a activação das células da microglia. As células da microglia são consideradas as células imunitárias do sistema nervoso central e ao serem activadas libertam factores inflamatórios que podem prejudicar o processo neurogénico. O monóxido de azoto, ou óxido nítrico (do inglês nitric oxide, NO), é um dos factores libertados pela microglia activada e que apresenta um efeito dual na neurogénese, promovendo-a ou inibindo-a, dependendo da concentração e tempo de exposição. Esta molécula pleiotrópica resulta da actividade enzimática de uma das três isoformas da sintase do óxido nítrico: neuronal, endotelial ou indutível. O mecanismo pelo qual o NO participa na proliferação das células estaminais neurais tem sido intensivamente estudado por diversos grupos em todo o Mundo. Sabe-se que em condições fisiológicas o NO participa como um factor anti-neurogénico, mas, em condições que antecedem um insulto cerebral, o NO promove a proliferação de células estaminais em ambos os principais nichos neurogénicos. No entanto, pouco se sabe sobre a função do NO na migração, sobrevivência e diferenciação das novas células. O objectivo deste trabalho foi investigar o papel do NO de origem inflamatória na proliferação, migração, diferenciação e sobrevivência de novas células formadas no giro dentado na sequência de um insulto cerebral. Foi também investigado o envolvimento do NO na resposta neuroinflamatória no mesmo modelo. Neste trabalho foi usado um modelo de murganho de status epilepticus induzido por administração intraperitoneal de ácido caínico, uma vez que é um modelo in vivo de lesão cerebral capaz de mimetizar os eventos neurogénicos pós-lesão de uma forma muito robusta, nomeadamente ao nível do aumento da proliferação de células estaminais, migração e diferenciação de novas células. Os nossos resultados mostram que o tratamento com ácido kaínico aumentou o número de células em proliferação até 14 dias após lesão. Na ausência da enzima iNOS o tratamento com ácido kaínico diminuiu a proliferação de novas células até 14 dias após lesão, excepto no 7º dia, sugerindo uma regulação bifásica da proliferação pelo NO. Assim, é possível definir um período em que a proliferação é regulada por uma mecanismo dependente de NO (até 5 dias após lesão) e outro em que o NO parece não estar envolvido (7 dias após lesão). A migração de neuroblastos aumenta após lesão e é dependente de NO 14 dias após lesão. A distribuição das novas células ao longo do giro dentado formadas 3 dias após lesão foi alterada após crises epilépticas, mas o mecanismo pelo qual é regulado é independente de NO. Nas condições analisadas, o número de novos neurónios que resultam de células formadas 3 dias após lesão diminui, sugerindo que o NO é importante para a sobrevivência dos novos neurónios. A diferenciação das novas células em astrócitos não foi alterada após lesão. Por fim, a astrogliose está aumentada 28 dias após lesão. O nosso trabalho mostra que o NO de origem inflamatória está envolvido na proliferação e sobrevivência dos novos neurónios formados numa fase inicial da proliferação após crises epilépticas. Os novos neurónios formados após lesão por status epilepticus parecem sobreviver melhor quando são formados numa fase mais tardia do processo proliferativo (7 dias após lesão), uma vez que o tratamento com ácido caínico não promoveu qualquer alteração no número de novos neurónios formados durante esta janela temporal. Além disso, o NO mostra ser importante para a migração de neuroblastos, uma vez que se verifica um aumento da imunoreactividade destas células após lesão. Verificou-se também que a neuroinflamação está presente 28 dias após lesão, o que sugere que o NO é importante para a manutenção da activação de astrócitos a longo prazo, indicando uma persistência de inflamação no hipocampo. Assim, concluímos que o NO de origem inflamatória participa em diferentes fases da neurogénese no hipocampo, abrindo a possibilidade de explorar abordagens terapêuticas baseadas nos efeitos do NO em situações de lesão cerebral